Supervisory Controller Design to Enforce Some Basic Properties in Timed Petri Nets

JOURNAL ARTICLE published 2009 in IFAC Proceedings Volumes

Authors: Aydın Aybar | Altuğ Iftar

Supervisory Controller Design to Enforce Basic Properties in Timed-Place Petri Nets

JOURNAL ARTICLE published September 2013 in IFAC Proceedings Volumes

Authors: Aydın Aybar | Altug İftar

Controller Design to Enforce Boundedness, Liveness, and Reversibility in Petri Nets 1

JOURNAL ARTICLE published April 2003 in IFAC Proceedings Volumes

Authors: Aydin Aybar | Altuğ İftar

Supervisory Control of Manufacturing Systems Modeled by Timed Petri Nets

JOURNAL ARTICLE published 2016 in IFAC-PapersOnLine

Authors: Altuğ İftar

DEADLOCK ANALYSIS FOR CONTINUOUS PETRI NETS BY USING OVERLAPPING DECOMPOSITIONS

JOURNAL ARTICLE published 2007 in IFAC Proceedings Volumes

Authors: Hanife Apaydın-Özkan | Aydın Aybar

Supervisory Controller Design to Enforce Some Basic Properties in Timed Petri Nets

PROCEEDINGS ARTICLE published 3 June 2009 in 13th IFAC Symposium on Information Control Problems in Manufacturing

Authors: Aybar, Aydin

Editors: Bakhtadze, Natalia

Chairs: Dolgui, Alexandre | Bakhtadze, Natalia %>

Some New Results on Supervisory Control of Petri Nets with Decentralized Monitor Places

JOURNAL ARTICLE published 2008 in IFAC Proceedings Volumes

Authors: F. Basile | A. Giua | C. Seatzu

Decentralized Control Design for Interconnected Discrete-Event Systems

JOURNAL ARTICLE published July 2001 in IFAC Proceedings Volumes

Authors: Aydin Aybar | Altuğ İftar

Representation of the State of Timed-Place Petri Nets Using Stretching

JOURNAL ARTICLE published 2009 in IFAC Proceedings Volumes

Authors: Aydin Aybar | Altuĝ İftar

Supervisory controller of petri nets under partial observation

JOURNAL ARTICLE published September 2004 in IFAC Proceedings Volumes

Authors: Zied Achour | Nidhal Rezg | Xiaolan Xie

Deadlock-Free Dispatching Control of Manufacturing Systems Using Petri Nets

JOURNAL ARTICLE published June 1996 in IFAC Proceedings Volumes

Authors: Xiaolan Xie

The Supervisory Control Problem Solved VIA Petri Nets

JOURNAL ARTICLE published September 1994 in IFAC Proceedings Volumes

Authors: B. Hrúz

Reformulation of organizing supervisory controller via parameterized fuzzy-petri nets

JOURNAL ARTICLE published July 1999 in IFAC Proceedings Volumes

Authors: Georgi M. Dimirovski | Zoran M. Gacovski | Miomir K. Vukobratovic

Deadlock-free scheduling for flexible manufacturing systems using untimed Petri nets and model predictive control

JOURNAL ARTICLE published 2016 in IFAC-PapersOnLine

Authors: Dimitri Lefebvre

Synthesis of Deadlock-Free Control Structures using Petri-Nets

JOURNAL ARTICLE published September 1991 in IFAC Proceedings Volumes

Authors: W. Seiche | D. Abel | H. Rake

Control Design of Timed Petri Nets via Model Predictive Control with Continuous Petri Nets

JOURNAL ARTICLE published 2014 in IFAC Proceedings Volumes

Authors: M. Taleb | E. Leclercq | D. Lefebvre

Program Solution of Supervisory Control Based on Petri Nets

JOURNAL ARTICLE published September 1997 in IFAC Proceedings Volumes

Authors: Jana Flochová | Branislav Hrúz | Peter Jirsák

Supervisory control of Petri nets using polyhedral regions

JOURNAL ARTICLE published 2012 in IFAC Proceedings Volumes

Authors: R. Bacos | J.E.R. Cury | R. Kara | J.J. Loiseau

Coalgebra and Coinduction in Decentralized Supervisory Control

JOURNAL ARTICLE published September 2003 in IFAC Proceedings Volumes

Authors: Jan Komenda

Supervisory Control for Synchronized and Colored Petri Nets Under Static and Dynamic Constraints

JOURNAL ARTICLE published September 1997 in IFAC Proceedings Volumes

Authors: Alain Godon | Jean-Louis Ferrier